<HTML><HEAD>
<META NAME="legal" CONTENT="See notice at end of class.">
<META NAME="description" CONTENT="Execution recorder">
<META NAME="keywords" CONTENT="Eiffel class">
<META NAME="license" CONTENT="Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)">
<META NAME="copyright" CONTENT="Copyright (c) 1984-2008, Eiffel Software and others">
<META NAME="source" CONTENT="Eiffel Software 356 Storke Road, Goleta, CA 93117 USA Telephone 805-685-1006, Fax 805-685-6869 Website http://www.eiffel.com Customer support http://support.eiffel.com">
<META NAME="library" CONTENT="EiffelBase: Library of reusable components for Eiffel.">
<META NAME="keywords" CONTENT="Eiffel class">
<TITLE>rt_dbg_execution_recorder Chart</TITLE></HEAD>
<BODY BGCOLOR="white">
<P ALIGN="CENTER">Automatic generation produced by ISE Eiffel</P>
<PRE><TABLE BORDER="1" ALIGN="CENTER"><TR><TD><A HREF="../class_list.html">Classes</A></TD><TD><A HREF="../cluster_list.html">Clusters</A></TD><TD><A HREF="../cluster_hierarchy.html">Cluster hierarchy</A></TD><TD>Chart</TD><TD><A HREF="rt_dbg_execution_recorder_links.html">Relations</A></TD><TD><A HREF="rt_dbg_execution_recorder_flatshort.html">Flat contracts</A></TD></TR></TABLE><B>class</B>
    <A HREF="../base/rt_dbg_execution_recorder_chart.html">RT_DBG_EXECUTION_RECORDER</A>

<B>General</B>
    cluster: ise_runtime
    description: "Execution recorder"
    create: <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_make">make</A>

<B>Ancestors</B>
    <A HREF="../base/rt_dbg_common_chart.html">RT_DBG_COMMON</A>*
    <A HREF="../base/rt_dbg_internal_chart.html">RT_DBG_INTERNAL</A>*

<B>Queries</B>
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_bottom_callstack_record">bottom_callstack_record</A>: [?<B>like</B> <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_callstack_record">callstack_record</A>] ?<A HREF="../base/rt_dbg_call_record_chart.html">RT_DBG_CALL_RECORD</A>
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_callstack_record">callstack_record</A> (dep: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>): ?<A HREF="../base/rt_dbg_call_record_chart.html">RT_DBG_CALL_RECORD</A>
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_callstack_record_by_id">callstack_record_by_id</A> (a_id: !<A HREF="../base/string_8_chart.html">STRING_8</A>): [<B>like</B> <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_callstack_record">callstack_record</A>] ?<A HREF="../base/rt_dbg_call_record_chart.html">RT_DBG_CALL_RECORD</A>
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_callstack_record_details">callstack_record_details</A> (a_id: !<A HREF="../base/string_8_chart.html">STRING_8</A>; nb: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>): <A HREF="../base/string_8_chart.html">STRING_8</A>
    <A HREF="../base/rt_dbg_common_flatshort.html#f_changes_between">changes_between</A> (csr1, csr2: <A HREF="../base/rt_dbg_call_record_chart.html">RT_DBG_CALL_RECORD</A>): <A HREF="../base/arrayed_list_chart.html">ARRAYED_LIST</A> [<A HREF="../base/rt_dbg_value_record_chart.html">RT_DBG_VALUE_RECORD</A>]<FONT COLOR="red"> -- (from RT_DBG_COMMON)</FONT>
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_direction_back">Direction_back</A>: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_direction_forth">Direction_forth</A>: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_direction_left">Direction_left</A>: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_direction_right">Direction_right</A>: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_flatten_when_closing">flatten_when_closing</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A>
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_is_replaying">is_replaying</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A>
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_keep_calls_records">keep_calls_records</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A>
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_last_replay_operation_failed">last_replay_operation_failed</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A>
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_maximum_record_count">maximum_record_count</A>: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_record_count">record_count</A>: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_recording_values">recording_values</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A>
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_replay_query">replay_query</A> (dir: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>): <A HREF="../base/integer_32_chart.html">INTEGER_32</A>
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_replay_stack">replay_stack</A>: ?<A HREF="../base/linked_list_chart.html">LINKED_LIST</A> [<A HREF="../base/tuple_chart.html">TUPLE</A> [<A HREF="../base/rt_dbg_call_record_chart.html">RT_DBG_CALL_RECORD</A>, <A HREF="../base/list_chart.html">LIST</A> [<A HREF="../base/tuple_chart.html">TUPLE</A> [!<A HREF="../base/rt_dbg_value_record_chart.html">RT_DBG_VALUE_RECORD</A>, !<A HREF="../base/rt_dbg_value_record_chart.html">RT_DBG_VALUE_RECORD</A>]]]]
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_replay_to_point">replay_to_point</A> (a_id: !<A HREF="../base/string_8_chart.html">STRING_8</A>): <A HREF="../base/boolean_chart.html">BOOLEAN</A>
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_replayed_call">replayed_call</A>: ?<A HREF="../base/rt_dbg_call_record_chart.html">RT_DBG_CALL_RECORD</A>
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_replayed_call_details">replayed_call_details</A>: <A HREF="../base/string_8_chart.html">STRING_8</A>
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_top_callstack_record">top_callstack_record</A>: [?<B>like</B> <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_callstack_record">callstack_record</A>] ?<A HREF="../base/rt_dbg_call_record_chart.html">RT_DBG_CALL_RECORD</A>
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_valid_xpm_value">valid_xpm_value</A> (a_xpm: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>): <A HREF="../base/boolean_chart.html">BOOLEAN</A>
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_xpm_to_is_expanded">xpm_to_is_expanded</A> (a_xpm: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>): <A HREF="../base/boolean_chart.html">BOOLEAN</A>
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_xpm_to_is_melted">xpm_to_is_melted</A> (a_xpm: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>): <A HREF="../base/boolean_chart.html">BOOLEAN</A>
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_xpm_to_is_precompiled">xpm_to_is_precompiled</A> (a_xpm: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>): <A HREF="../base/boolean_chart.html">BOOLEAN</A>

<B>Commands</B>
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_activate_replay">activate_replay</A> (b: <A HREF="../base/boolean_chart.html">BOOLEAN</A>)
    <A HREF="../base/rt_extension_common_flatshort.html#f_dtrace">dtrace</A> (m: <A HREF="../base/string_8_chart.html">STRING_8</A>)<FONT COLOR="red"> -- (from RT_EXTENSION_COMMON)</FONT>
    <A HREF="../base/rt_extension_common_flatshort.html#f_dtrace_indent">dtrace_indent</A> (n: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)<FONT COLOR="red"> -- (from RT_EXTENSION_COMMON)</FONT>
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_enter_feature">enter_feature</A> (ref: ?<A HREF="../base/any_chart.html">ANY</A>; cid, fid, dep: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_enter_rescue">enter_rescue</A> (ref: ?<A HREF="../base/any_chart.html">ANY</A>; cid, fid, dep: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_increment_records_count">increment_records_count</A> (n: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_leave_feature">leave_feature</A> (ref: ?<A HREF="../base/any_chart.html">ANY</A>; cid, fid, dep: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_monitor_record_count">monitor_record_count</A>
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_notify_rt_assign_attribute">notify_rt_assign_attribute</A> (a_dep: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>; ref: !<A HREF="../base/any_chart.html">ANY</A>; a_offset: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>; a_type: <A HREF="../base/natural_32_chart.html">NATURAL_32</A>; a_xpm: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_notify_rt_assign_local">notify_rt_assign_local</A> (a_dep, a_position: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>; a_type: <A HREF="../base/natural_32_chart.html">NATURAL_32</A>; a_xpm: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_notify_rt_hook">notify_rt_hook</A> (dep, bp_i, bp_ni: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_replay">replay</A> (dir, nb: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_replay_back">replay_back</A>
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_replay_forth">replay_forth</A>
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_replay_left">replay_left</A>
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_replay_left_to_first">replay_left_to_first</A>
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_replay_right">replay_right</A>
    <A HREF="../base/rt_dbg_execution_recorder_flatshort.html#f_revert_replay_stack">revert_replay_stack</A>

<TABLE BORDER="1" ALIGN="CENTER"><TR><TD><A HREF="../class_list.html">Classes</A></TD><TD><A HREF="../cluster_list.html">Clusters</A></TD><TD><A HREF="../cluster_hierarchy.html">Cluster hierarchy</A></TD><TD>Chart</TD><TD><A HREF="rt_dbg_execution_recorder_links.html">Relations</A></TD><TD><A HREF="rt_dbg_execution_recorder_flatshort.html">Flat contracts</A></TD></TR></TABLE></PRE>
<P ALIGN="CENTER"> &#045;&#045; Generated by ISE Eiffel &#045;&#045 </P>
<P ALIGN="CENTER">For more details: <A HREF="http://www.eiffel.com">www.eiffel.com</A></P>
</BODY>
</HTML>
